Skip to content

Conversation

per1234
Copy link
Contributor

@per1234 per1234 commented Jan 5, 2022

On every push that changes relevant files, and periodically, use github-label-sync to configure the repository's issue and pull request labels according to the universal, shared, and local label configuration files.

The new labels use a standardized prefixed format that causes all the labels of a given class to be listed together in the alphabetically sorted "Labels" menu of issues and PRs.

Example of a repository that has the workflow applied:


Resolves #28

On every push that changes relevant files, and periodically, configure the repository's issue and pull request labels
according to the universal, shared, and local label configuration files.
@per1234 per1234 added type: enhancement Proposed improvement topic: infrastructure Related to project infrastructure labels Jan 5, 2022
@per1234 per1234 requested a review from aentinger January 5, 2022 18:35
Copy link
Contributor

@aentinger aentinger left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM 👍 Thank you @per1234 🚀

@aentinger aentinger merged commit 7905d14 into arduino-libraries:master Jan 10, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add GitHub Actions workflow to synchronise with shared repository labels
2 participants